Inferencia de tipos


Inferencia de tipos
Inferencia de tipos es una característica predominante de los lenguajes de programación funcional tales como ML, Haskell y Ocaml. La inferencia de tipos asigna automáticamente un tipo de datos a una función sin necesidad de que el programador lo escriba. El tipo de las funciones es reconstruido a partir de un análisis estático del programa realizado por el compilador o interpretador del lenguaje, a partir de las definiciones previas y del uso de las variables en el cuerpo de las funciones.

Enciclopedia Universal. 2012.

Mira otros diccionarios:

  • Inferencia de tipos — Los tipos de inferencia es una característica predominante de los lenguajes de programación funcionales tales como ML, Haskell, C#, Vala y Ocaml. La inferencia de tipos asigna automáticamente un tipo de datos a una función sin necesidad de que el …   Wikipedia Español

  • Tipos anónimos — Saltar a navegación, búsqueda Los tipos anónimos son una característica del lenguaje de programación C# 3.0 que permite crear implícitamente campos con nombre desde el código que lo requiere. Esta es una importante característica para el Lenguaje …   Wikipedia Español

  • Inferencia — Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las… …   Wikipedia Español

  • Sistema de tipos — El texto que sigue es una traducción defectuosa o incompleta. Si quieres colaborar con Wikipedia, busca el artículo original y mejora o finaliza esta traducción. Puedes dar aviso al autor principal del artículo pegando el siguiente código en su… …   Wikipedia Español

  • Lenguaje de programación — Captura de la microcomputadora Commodore PET 32 mostrando un programa en el lenguaje de programación BASIC, bajo el emulador VICE en una distribución GNU/Linux. Un lenguaje de programación es un idioma artificial diseñado para expresar… …   Wikipedia Español

  • F Sharp — Saltar a navegación, búsqueda F# Paradigma: multiparadigma, funcional, imperativo, orientado a objetos Apareció en: 2002 Diseñado por: Microsoft Research Última versión: 1.9.6.0 (29 de agosto …   Wikipedia Español

  • Tipo de dato anónimo — Los tipos anónimos son una característica del lenguaje de programación C# 3.0 que permite crear implícitamente campos con nombre desde el código que lo requiere. Esta es una importante característica para el Lenguaje integrado de consultas LINQ… …   Wikipedia Español

  • Meta Lenguaje — ML Información general Paradigma multiparadigma: imperativo, funcional Apareció en 1973 Diseñado por Robin Milner y otros en la Universidad de Edimburgo …   Wikipedia Español

  • Boo (informática) — Saltar a navegación, búsqueda Boo Paradigma: Orientado a objetos Apareció en: 2004 Última versión: 0.8.0 (25 de octubre 2007) Influido por: C#, Python …   Wikipedia Español

  • Ocaml — El lenguaje Objective CAML, también llamado Ocaml u O Caml, es un lenguaje de programación avanzado de la familia de los lenguajes ML, desarrollado y distribuido por el INRIA en Francia. Ocaml admite los paradigmas de programación imperativa,… …   Wikipedia Español